b2i($b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $b$ then 1 else 0 fi